1. First-order dynamic logic
Author: Harel, David
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
6
.
H34
1979
2. First-order dynamic logic
Author: Harel, David
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
Classification :
QA
76
.
L4
v
.
68
3. Introduction to logic programming
Author: Hogger, Christorpher John
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H624
1984
4. Logic for problem solving
Author: Kowalski, Robert
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Problem solving►Electronic digital computers -- Programming►Logic, Symbolic and mathematical
Classification :
63
.
K68
5. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
T4414
1994
6. Temporal logic : mathematical foundations and computational aspects
Author: Gabbay, Dov M.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming , Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
G27
1994
7. Temporal logic of programs
Author: / Fred Kroger
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming,Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987
8. Temporal logic of programs
Author: Kroger, Fred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987
9. Temporal logic of programs
Author: Kroger, Fred
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987
10. The logical basis for computer programming
پدیدآورنده : Zohar Manna, Richard Waldinger
موضوع : Electronic digital computers--Programming,Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
11. The logical basis for computer programming
Author: Manna, Zohar
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Electronic digital computers,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M35595
1985
12. The logical basis for computer programming
Author: Manna, Zohar
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic digital computers- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M35595
1985
